KERNEL_OBJS = 	output/myOS/kernel/tick.o \
				output/myOS/kernel/wallClock.o
		